منابع مشابه
BRICS Newsletter
s from the International Summer Conference in Category Theory, CT2000, Como, Italy, July 16–22, 2000. 28 Luigi Santocanale. Free μ-lattices. November 2000. 51 pp. Short abstract appeared in Proceedings of Category Theory 99, Coimbra, Portugal, July 19–24, 1999. Full version to appear in a special conference issue of the Journal of Pure and Applied Algebra. 27 Zoltán Ésik and Werner Kuich. Induc...
متن کاملBRICS and global health.
Editorials 386 The influence of the BRICS countries – Brazil, the Russian Federation, India, China and South Africa – in the international arena has risen enormously in recent decades. These five countries represent around 25% of the world's gross national income, more than 40% of the world's population and about 40% of the global burden of disease. Although great attention has been paid to the...
متن کاملBrics Ns-03-1
In this paper, we reason that simulation and bisimulation are not adequate in the context of hybrid systems as they are only capable of comparing states that are reachable in a finite number of transitions. To solve this problem we extend labelled transition systems with a topology on the state space. We define topological versions of simulation and bisimulation that are also capable of compari...
متن کاملBRICS - Best practice in robotics
1 KUKA Roboter GmbH, Augsburg, Germany 2 GPS Gesellschaft für Produktionssysteme GmbH, Stuttgart, Germany 3 Bonn-Rhein-Sieg University of Applied Sciences, Bonn, Germany 4 Katholieke Universiteit Leuven, Leuven, Belgium 5 Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V., Stuttgart, Germany 6 University of Twente, Twente, Netherlands 7 Università degli Studi di Bergamo, Berga...
متن کاملand the BRICS International PhD School into
s from the International Summer Conference in Category Theory, CT2000, Como, Italy, July 16–22, 2000. 28 Luigi Santocanale. Free μ-lattices. November 2000. 51 pp. Short abstract appeared in Proceedings of Category Theory 99, Coimbra, Portugal, July 19–24, 1999. Full version to appear in a special conference issue of the Journal of Pure and Applied Algebra. 27 Zoltán Ésik and Werner Kuich. Induc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Manuscrito
سال: 2015
ISSN: 0100-6045
DOI: 10.1590/0100-6045.2015.v38n3.dp